Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Dec 12, 2016

Port of #12852

@ghost ghost force-pushed the release_2.1_untyped_augmentation_2 branch from 96127cf to c717f68 Compare December 12, 2016 20:44
@ghost ghost merged commit d73e022 into release-2.1 Dec 12, 2016
@ghost ghost deleted the release_2.1_untyped_augmentation_2 branch December 12, 2016 20:54
@microsoft microsoft locked and limited conversation to collaborators Jun 19, 2018
This pull request was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants